Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

A roadmap for formal property verification

 Автор:
Размер книги: 1.82 Mb